Logic In Computer Science – alle Bücher online kaufen

Samson Abramsky on Logic and Structure in Computer Science and Beyond

Samson Abramsky s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extend…

lieferbar innerhalb 2-3 Wochen

2 Bücher

Computer Science and Education in Computer Science

This book constitutes the refereed post-conference proceedings of the 20th International Conference on Computer Science and Education in Computer Science, CSECS 2024, held in Sofia, Bulgaria, during June …

lieferbar innerhalb 2-3 Wochen

Buch

Research in Computer Science

This book constitutes the refereed proceedings of the 6th Conference on Research in Computer Science, CRI 2023, held in Yaounde, Cameroon, during December 12-13, 2023. The 16 full papers included in this…

lieferbar innerhalb 2-3 Wochen

Buch

Applied Computer Sciences in Engineering

The two-volume set CCIS 2222 and 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23 25, 2024. The 4…

lieferbar innerhalb 2-3 Wochen

Buch

Coalgebraic Methods in Computer Science

Lecture Notes in Computer Science -Band 14617

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.…

lieferbar innerhalb 2-3 Wochen

Buch

Applied Computer Sciences in Engineering

The two-volume set CCIS 2222 + 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23 25, 2024. The 42 …

lieferbar innerhalb 2-3 Wochen

Buch

David A. Gonzalez-Maldonado, Diana Franklin, Minh Tran, Paul Denny
Generative AI in Computer Science Education

In this Element, the authors explore both the opportunities and the challenges for computer science education resulting from the widespread availability of generative AI.

lieferbar ab 31.5.2025.

Buch

David A. Gonzalez-Maldonado, Diana Franklin, Minh Tran, Paul Denny
Generative AI in Computer Science Education

In this Element, the authors explore both the opportunities and the challenges for computer science education resulting from the widespread availability of generative AI.

lieferbar ab 31.5.2025.

Buch

Graph-Theoretic Concepts in Computer Science

This book constitutes the refereed proceedings of the 50th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2024, held in Gozd Martuljek, Slovenia in June 2024, The 31 papers pr…

lieferbar innerhalb 2-3 Wochen

Buch

Relational and Algebraic Methods in Computer Science

Lecture Notes in Computer Science -Band 14787

This book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 19 22, 2024. The 15 full papers presented in this book were…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Science and Engineering in Health Services

This book constitutes the refereed post-conference proceedings of the 6th EAI International Conference Computer on Science and Engineering in Health Services (COMPSE 2022), which took place in Mexico City…

lieferbar innerhalb 2-3 Wochen

Buch

Probability and Statistical Models in Operations Research, Computer and Management Sciences

Springer Series in Reliability Engineering

This book explores the convergence of stochastic modeling, reliability tools, and the quest for solutions in an era of globalized challenges. The tools have become only more important in the unforeseen em…

lieferbar innerhalb 2-3 Wochen

Buch

Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning

Lecture Notes in Computer Science -Band 15228

This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28 30, 20…

lieferbar innerhalb 2-3 Wochen

Buch

7th EAI International Conference on Computer Science and Engineering in Health Services

This book constitutes the refereed post-conference proceedings of the 7th EAI International Conference on Computer Science and Engineering in Health Services (COMPSE 2023), which took place November 16-17…

lieferbar innerhalb 2-3 Wochen

Buch

Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0

This book provides a wide collection of the recent studies triggering innovative ways to advance computer science and computational applications. The collection enables readers to understand more about te…

lieferbar innerhalb 2-3 Wochen

Buch

Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0

This book provides a wide collection of the recent studies triggering innovative ways to advance computer science and computational applications. The collection enables readers to understand more about te…

lieferbar innerhalb 2-3 Wochen

Buch

Lech T. Polkowski
Logic: Reference Book for Computer Scientists

The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested i…

lieferbar innerhalb 2-3 Wochen

Buch

Samir Brahim Belhaouari, Farshid Mehrdoust, Halima Bensmail
Discrete Mathematics, Probability Theory and Stochastic Processes

This book provides a comprehensive overview of discrete mathematics, probability theory, and stochastic processes, covering a wide range of topics in each area. It is designed to be a self-contained resou…

lieferbar innerhalb 2-3 Wochen

Buch

Model-Based Reasoning, Abductive Cognition, Creativity

This book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important, innovative, and possibly creative changes in theorie…

lieferbar innerhalb 2-3 Wochen

Buch

Proceedings of the International Conference on Computer Science, Electronics and Industrial Engineering (CSEI 2023)

This volume serves as both a record of current knowledge and a testament to the ongoing commitment to excellence in research within these fields. It stands as an invaluable resource for researchers, pract…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Logic In Computer Science" - alle Bücher